∀A,B∈2^X(A⊆B⇒A̅⊆B̅)